Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
541	Bibliography [1] W. Aiello, M. Bellare and R. Venkatesan. Knowledge on the Average { Perfect, Statistical and Logarithmic. In 27th ACM Symposium on the Theory of Computing, pages 469{478, [removed]W. Aiello and J. Hast Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:12 Computer science ACM SIGACT Mathematical sciences International Colloquium on Automata Languages and Programming Cryptography Dana Ron Sheila Greibach Applied mathematics Silvio Micali Theoretical computer science
542	Figure 2. Transition rule table (rule[removed]The λ parameter, introduced by Chris Langton (1986), is an order (Class 1 and 2) – complexity (Class 4) – chaos (Class 3) parameter [7]. This is a kind of virtual tuning Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Rule 30 Rule 110 Chaos theory Cellular automata Cellular automaton Elementary cellular automaton
543	Letter from the President Dear EATCS members, As usual this time of the year, I have the great pleasure to announce the assignments of this year’s Gódel Prize, EATCS Award and Presburger Award. Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:44:59 Year of birth missing Automata theory International Colloquium on Automata Languages and Programming Presburger Award Gödel Prize European Association for Theoretical Computer Science ACM SIGACT Moshe Y. Vardi Éva Tardos Computer science Theoretical computer science Applied mathematics
544	Perl Regular Expression Quick Reference 1.05 Quantifiers: Metaquote & case translations: Add to Reading List Source URL: www.erudil.com Language: English - Date: 2004-10-12 09:43:48 Regular expressions Whitespace Pattern matching Automata theory Perl Space Tilde Perl 6 rules Computing Software engineering Computer programming
545	Letter from the President Dear EATCS members, Time flies somehow and the 40th ICALP conference is now upon us. I hope that many of you will attend the conference, which will be held in Riga, Latvia, in the Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:00 International Colloquium on Automata Languages and Programming European Association for Theoretical Computer Science Gödel Prize ACM SIGACT Martin Dyer Algorithm Mike Paterson International Conference on Developments in Language Theory Theoretical computer science Computer science Applied mathematics
546	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:16 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
547	Using Hands-On Visualizations to Teach Computer Science from Beginning Courses to Advanced Courses Susan H. Rodger∗ Department of Computer Science Duke University Durham, NC 27705 Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2002-06-14 13:50:50 Theoretical computer science Mathematics Formal languages National Parliamentary Debate Association Pushdown automaton Deterministic pushdown automaton Alphabet Algorithm Turing machine Theory of computation Models of computation Automata theory
548	Definability Questions for MSO ¨ Christof Loding RWTH Aachen Automata and Algorithmic Logic, Stuttgart, June 29, 2007 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Interpretation Structure Constructible universe Model theory Logic Mathematics
549	Xi Chen Assistant Professor Department of Computer Science Columbia University Phone: [removed] Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2013-04-02 11:10:37 ACM SIGACT Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Algorithmic game theory Ran Raz Ronald V. Book Theoretical computer science Applied mathematics Computer science
550	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science

UPDATE